<?php
session_start();
if (isset($_SESSION['userID']))
{
    unset($_SESSION['userID']);
    if (!isset($_SESSION['userID']))
    {
        echo "<head>";
        echo "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\">";
        echo "<title>The Portal Project</title>";
        echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"tppStyles.css\" />";
        echo "</head>";
        echo "<body><center>";
        echo "<a href = \"index.php\">";
        echo "<img src = \"tppheaderbanner.jpg\" alt = \"The Portal Project\" /></a>";
        //echo "<br>You have been successfully logged out.<center>";
        header('Location: /dcsp-portal-project/index.php');
        echo "</body>";
    }
}


?>
